A Dataflow Framework for Java
نویسندگان
چکیده
class Node class *Node extends Node 2.2.2 Blocks Nodes are grouped into basic blocks using a hierarchy of Block classes. The hierarchy is composed of five interfaces, two abstract classes, and four concrete classes. package org.checkerframework.dataflow.cfg.block;
منابع مشابه
A Dataflow Framework for Java and the Checker Framework
class Node class *Node extends Node
متن کاملSymphony: A Java-Based Composition and Manipulation Framework for Distributed Legacy Resources
Symphony is an open and extensible Java-based framework for composition and manipulation of distributed legacy resources. Symphony allows users to compose visually a collection of programs and data by specifying dataflow relationships among them and provides a client/server framework for transparently executing the composed application. Additionally, the framework is web-aware and helps integra...
متن کاملDataflow Framework for Checker Framework
This paper presents a general dataflow framework for Java that can be used to replace the data flow implementation in the Checker Framework, a tool that adds pluggable type systems to Java. Currently, the Checker Framework uses a generalization and extension of the data flow analysis in Oracle’s javac, which is hardcoded to perform a few analyses like definite assignment. Because of this, the a...
متن کاملPartitioners Track: Generating Security Vulnerabilities in Source Code
This paper describes a framework, which modifies existing source code to generate security issues. An example plugin for generating SQL injection in Java source code is described. The generation process is based on static code analysis techniques like dataflow analysis and abstract syntax trees. The framework is evaluated with the help of Java projects from GitHub. One modified project was succ...
متن کاملTag Management in a Reconfigurable Tagged-Token Dataflow Architecture
Combining dataflow concepts with reconfigurable computing provides a great potential to exploit the application parallelism efficiently. However, to express such parallelism cannot be a trivial task. Therefore, there is a great effort to automatically translate programs originally written in procedural languages (like C and Java) into dataflow architectures which express the parallelism in a na...
متن کامل